The modal logic of the countable random frame

The Modal Logi of the Countable Random Frame

Lecture Notes on Noncorrespondence 15-816: Modal Logic

In lecture 7, we have seen how axiomatics and semantics of modal logic fit together in soundness proofs and correspondence proofs. We have seen several examples of classes of Kripke frames that are characterized by formulas of propositional modal logic. These were several special cases. But we are looking for a general correspondence result. Can we find a full correspondence result? For any for...

Suhrawardi's Modal Syllogisms

Suhrawardi’s logic of the Hikmat al-Ishraq is basically modal. So to understand his modal logic one first has to know the non-modal part upon which his modal logic is built. In my previous paper ‘Suhrawardi on Syllogisms’(3) I discussed the former in detail. The present paper is an exposition of his treatment of modal syllogisms. On the basis of some reasonable existential presuppositi...

OPTIMAL SENSOR PLACEMENT FOR MODAL IDENTIFICATION OF A STRAP-BRACED COLD FORMED STEEL FRAME BASED ON IMPROVED GENETIC ALGORITHM

This paper is concerned with the determination of optimal sensor locations for structural modal identification in a strap-braced cold formed steel frame based on an improved genetic algorithm (IGA). Six different optimal sensor placement performance indices have been taken as the fitness functions two based on modal assurance criterion (MAC), two based on maximization of the determinant of a Fi...

GENERALIZED FLEXIBILITY-BASED MODEL UPDATING APPROACH VIA DEMOCRATIC PARTICLE SWARM OPTIMIZATION ALGORITHM FOR STRUCTURAL DAMAGE PROGNOSIS

This paper presents a new model updating approach for structural damage localization and quantification. Based on the Modal Assurance Criterion (MAC), a new damage-sensitive cost function is introduced by employing the main diagonal and anti-diagonal members of the calculated Generalized Flexibility Matrix (GFM) for the monitored structure and its analytical model. Then, ...